// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_UDOT_2S_TRACE_AARCH64_H_
#define VIXL_SIM_UDOT_2S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_udot_2S[] = {
  0x0000a16f, 0x00010207, 0x00000000, 0x00000000,
  0x0000b678, 0x00010409, 0x00000000, 0x00000000,
  0x0000bfc0, 0x00011957, 0x00000000, 0x00000000,
  0x0000c143, 0x00013f41, 0x00000000, 0x00000000,
  0x0000c2c6, 0x00017aba, 0x00000000, 0x00000000,
  0x0000c449, 0x0001b7c9, 0x00000000, 0x00000000,
  0x0000d880, 0x0001e1ae, 0x00000000, 0x00000000,
  0x0000fccf, 0x0001fb05, 0x00000000, 0x00000000,
  0x00013037, 0x00017d03, 0x00000000, 0x00000000,
  0x00015b38, 0x0000fe05, 0x00000000, 0x00000000,
  0x00017389, 0x00008007, 0x00000000, 0x00000000,
  0x00017ef1, 0x00000593, 0x00000000, 0x00000000,
  0x00010340, 0x00001f6e, 0x00000000, 0x00000000,
  0x000087c3, 0x000049dc, 0x00000000, 0x00000000,
  0x00003446, 0x000087c8, 0x00000000, 0x00000000,
  0x0000053f, 0x0000c2c7, 0x00000000, 0x00000000,
  0x00001ddf, 0x0000e8a8, 0x00000000, 0x00000000,
  0x000045cb, 0x0000fe03, 0x00000000, 0x00000000,
  0x0000798e, 0x00010005, 0x00000000, 0x00000000,
  0x0000b678, 0x00010409, 0x00000000, 0x00000000,
  0x0000d647, 0x0001060f, 0x00000000, 0x00000000,
  0x0000e509, 0x00011b87, 0x00000000, 0x00000000,
  0x0000e6d8, 0x000141bc, 0x00000000, 0x00000000,
  0x0000e8a7, 0x00017dab, 0x00000000, 0x00000000,
  0x0000ea76, 0x0001bb34, 0x00000000, 0x00000000,
  0x0000ff1f, 0x0001e56d, 0x00000000, 0x00000000,
  0x00012401, 0x0001fef7, 0x00000000, 0x00000000,
  0x00015df1, 0x00017ffd, 0x00000000, 0x00000000,
  0x000193a1, 0x00010003, 0x00000000, 0x00000000,
  0x0001b75c, 0x00008109, 0x00000000, 0x00000000,
  0x0001c966, 0x0000059e, 0x00000000, 0x00000000,
  0x00014d89, 0x00001fac, 0x00000000, 0x00000000,
  0x0000d158, 0x00004a6e, 0x00000000, 0x00000000,
  0x00005627, 0x000088d5, 0x00000000, 0x00000000,
  0x00000571, 0x0000c44a, 0x00000000, 0x00000000,
  0x00001e8c, 0x0000ea77, 0x00000000, 0x00000000,
  0x000047d7, 0x0000fffd, 0x00000000, 0x00000000,
  0x00008368, 0x00010203, 0x00000000, 0x00000000,
  0x0000bfc0, 0x00011957, 0x00000000, 0x00000000,
  0x0000e509, 0x00011b87, 0x00000000, 0x00000000,
  0x0000fa0e, 0x000136f3, 0x00000000, 0x00000000,
  0x0000fc08, 0x0001627f, 0x00000000, 0x00000000,
  0x0000fe02, 0x0001a56c, 0x00000000, 0x00000000,
  0x0000fffc, 0x0001e42d, 0x00000000, 0x00000000,
  0x000114f6, 0x00020ee0, 0x00000000, 0x00000000,
  0x00013a4a, 0x000228c3, 0x00000000, 0x00000000,
  0x000174d7, 0x000182f7, 0x00000000, 0x00000000,
  0x0001b0f2, 0x00010227, 0x00000000, 0x00000000,
  0x0001da2f, 0x00008257, 0x00000000, 0x00000000,
  0x0001f320, 0x000006d9, 0x00000000, 0x00000000,
  0x0001770e, 0x0000277c, 0x00000000, 0x00000000,
  0x0000fa08, 0x0000579e, 0x00000000, 0x00000000,
  0x00007e02, 0x00009c70, 0x00000000, 0x00000000,
  0x0000057c, 0x0000d881, 0x00000000, 0x00000000,
  0x00001ef1, 0x0000ff20, 0x00000000, 0x00000000,
  0x000048b7, 0x000114f7, 0x00000000, 0x00000000,
  0x000085ad, 0x00011727, 0x00000000, 0x00000000,
  0x0000c143, 0x00013f41, 0x00000000, 0x00000000,
  0x0000e6d8, 0x000141bc, 0x00000000, 0x00000000,
  0x0000fc08, 0x0001627f, 0x00000000, 0x00000000,
  0x0000fe06, 0x00019882, 0x00000000, 0x00000000,
  0x00010004, 0x0001e69d, 0x00000000, 0x00000000,
  0x00010202, 0x00022d05, 0x00000000, 0x00000000,
  0x00011726, 0x000258eb, 0x00000000, 0x00000000,
  0x00013cc5, 0x00027348, 0x00000000, 0x00000000,
  0x000177c8, 0x0001abcb, 0x00000000, 0x00000000,
  0x0001b45d, 0x00010446, 0x00000000, 0x00000000,
  0x0001ddee, 0x000083c1, 0x00000000, 0x00000000,
  0x0001f712, 0x00000838, 0x00000000, 0x00000000,
  0x00017a08, 0x00002f7d, 0x00000000, 0x00000000,
  0x0000fc06, 0x00006ab7, 0x00000000, 0x00000000,
  0x00007f04, 0x0000ba38, 0x00000000, 0x00000000,
  0x00000587, 0x0000fcd0, 0x00000000, 0x00000000,
  0x00001f2f, 0x00012402, 0x00000000, 0x00000000,
  0x00004949, 0x00013a4b, 0x00000000, 0x00000000,
  0x000086ba, 0x00013cc6, 0x00000000, 0x00000000,
  0x0000c2c6, 0x00017aba, 0x00000000, 0x00000000,
  0x0000e8a7, 0x00017dab, 0x00000000, 0x00000000,
  0x0000fe02, 0x0001a56c, 0x00000000, 0x00000000,
  0x00010004, 0x0001e69d, 0x00000000, 0x00000000,
  0x00010206, 0x000246be, 0x00000000, 0x00000000,
  0x00010408, 0x0002992f, 0x00000000, 0x00000000,
  0x00011956, 0x0002ccc1, 0x00000000, 0x00000000,
  0x00013f40, 0x0002e85b, 0x00000000, 0x00000000,
  0x00017ab9, 0x0001f558, 0x00000000, 0x00000000,
  0x0001b7c8, 0x00012c49, 0x00000000, 0x00000000,
  0x0001e1ad, 0x0000853a, 0x00000000, 0x00000000,
  0x0001fb04, 0x00000a03, 0x00000000, 0x00000000,
  0x00017d02, 0x000039a0, 0x00000000, 0x00000000,
  0x0000fe04, 0x00008153, 0x00000000, 0x00000000,
  0x00008006, 0x0000e2cb, 0x00000000, 0x00000000,
  0x00000592, 0x00013038, 0x00000000, 0x00000000,
  0x00001f6d, 0x00015df2, 0x00000000, 0x00000000,
  0x000049db, 0x000174d8, 0x00000000, 0x00000000,
  0x000087c7, 0x000177c9, 0x00000000, 0x00000000,
  0x0000c449, 0x0001b7c9, 0x00000000, 0x00000000,
  0x0000ea76, 0x0001bb34, 0x00000000, 0x00000000,
  0x0000fffc, 0x0001e42d, 0x00000000, 0x00000000,
  0x00010202, 0x00022d05, 0x00000000, 0x00000000,
  0x00010408, 0x0002992f, 0x00000000, 0x00000000,
  0x0001060e, 0x0002fdbe, 0x00000000, 0x00000000,
  0x00011b86, 0x00033d37, 0x00000000, 0x00000000,
  0x000141bb, 0x00036060, 0x00000000, 0x00000000,
  0x00017daa, 0x00026973, 0x00000000, 0x00000000,
  0x0001bb33, 0x000174de, 0x00000000, 0x00000000,
  0x0001e56c, 0x0000ac49, 0x00000000, 0x00000000,
  0x0001fef6, 0x00000aa5, 0x00000000, 0x00000000,
  0x00017ffc, 0x00003c6a, 0x00000000, 0x00000000,
  0x00010002, 0x00008d1e, 0x00000000, 0x00000000,
  0x00008108, 0x0000fbd6, 0x00000000, 0x00000000,
  0x0000059d, 0x00015b39, 0x00000000, 0x00000000,
  0x00001fab, 0x000193a2, 0x00000000, 0x00000000,
  0x00004a6d, 0x0001b0f3, 0x00000000, 0x00000000,
  0x000088d4, 0x0001b45e, 0x00000000, 0x00000000,
  0x0000d880, 0x0001e1ae, 0x00000000, 0x00000000,
  0x0000ff1f, 0x0001e56d, 0x00000000, 0x00000000,
  0x000114f6, 0x00020ee0, 0x00000000, 0x00000000,
  0x00011726, 0x000258eb, 0x00000000, 0x00000000,
  0x00011956, 0x0002ccc1, 0x00000000, 0x00000000,
  0x00011b86, 0x00033d37, 0x00000000, 0x00000000,
  0x000136f2, 0x000388de, 0x00000000, 0x00000000,
  0x0001627e, 0x0003b2c1, 0x00000000, 0x00000000,
  0x0001a56b, 0x0002bbb0, 0x00000000, 0x00000000,
  0x0001e42c, 0x0001c26f, 0x00000000, 0x00000000,
  0x00020edf, 0x0000ce2e, 0x00000000, 0x00000000,
  0x000228c2, 0x00000ae3, 0x00000000, 0x00000000,
  0x000182f6, 0x00003d3f, 0x00000000, 0x00000000,
  0x00010226, 0x00009016, 0x00000000, 0x00000000,
  0x00008256, 0x000107d0, 0x00000000, 0x00000000,
  0x000006d8, 0x0001738a, 0x00000000, 0x00000000,
  0x0000277b, 0x0001b75d, 0x00000000, 0x00000000,
  0x0000579d, 0x0001da30, 0x00000000, 0x00000000,
  0x00009c6f, 0x0001ddef, 0x00000000, 0x00000000,
  0x0000fccf, 0x0001fb05, 0x00000000, 0x00000000,
  0x00012401, 0x0001fef7, 0x00000000, 0x00000000,
  0x00013a4a, 0x000228c3, 0x00000000, 0x00000000,
  0x00013cc5, 0x00027348, 0x00000000, 0x00000000,
  0x00013f40, 0x0002e85b, 0x00000000, 0x00000000,
  0x000141bb, 0x00036060, 0x00000000, 0x00000000,
  0x0001627e, 0x0003b2c1, 0x00000000, 0x00000000,
  0x00019881, 0x0003e44f, 0x00000000, 0x00000000,
  0x0001e69c, 0x0002ed21, 0x00000000, 0x00000000,
  0x00022d04, 0x0001f313, 0x00000000, 0x00000000,
  0x000258ea, 0x0000fa05, 0x00000000, 0x00000000,
  0x00027347, 0x00000af2, 0x00000000, 0x00000000,
  0x0001abca, 0x00003db0, 0x00000000, 0x00000000,
  0x00010445, 0x0000911e, 0x00000000, 0x00000000,
  0x000083c0, 0x00010b01, 0x00000000, 0x00000000,
  0x00000837, 0x00017ef2, 0x00000000, 0x00000000,
  0x00002f7c, 0x0001c967, 0x00000000, 0x00000000,
  0x00006ab6, 0x0001f321, 0x00000000, 0x00000000,
  0x0000ba37, 0x0001f713, 0x00000000, 0x00000000,
  0x00013037, 0x00017d03, 0x00000000, 0x00000000,
  0x00015df1, 0x00017ffd, 0x00000000, 0x00000000,
  0x000174d7, 0x000182f7, 0x00000000, 0x00000000,
  0x000177c8, 0x0001abcb, 0x00000000, 0x00000000,
  0x00017ab9, 0x0001f558, 0x00000000, 0x00000000,
  0x00017daa, 0x00026973, 0x00000000, 0x00000000,
  0x0001a56b, 0x0002bbb0, 0x00000000, 0x00000000,
  0x0001e69c, 0x0002ed21, 0x00000000, 0x00000000,
  0x000246bd, 0x0002f40f, 0x00000000, 0x00000000,
  0x0002992e, 0x0001f809, 0x00000000, 0x00000000,
  0x0002ccc0, 0x0000fd03, 0x00000000, 0x00000000,
  0x0002e85a, 0x000002fd, 0x00000000, 0x00000000,
  0x0001f557, 0x00000af2, 0x00000000, 0x00000000,
  0x00012c48, 0x00003cb8, 0x00000000, 0x00000000,
  0x00008539, 0x00008f2e, 0x00000000, 0x00000000,
  0x00000a02, 0x00010341, 0x00000000, 0x00000000,
  0x0000399f, 0x00014d8a, 0x00000000, 0x00000000,
  0x00008152, 0x0001770f, 0x00000000, 0x00000000,
  0x0000e2ca, 0x00017a09, 0x00000000, 0x00000000,
  0x00015b38, 0x0000fe05, 0x00000000, 0x00000000,
  0x000193a1, 0x00010003, 0x00000000, 0x00000000,
  0x0001b0f2, 0x00010227, 0x00000000, 0x00000000,
  0x0001b45d, 0x00010446, 0x00000000, 0x00000000,
  0x0001b7c8, 0x00012c49, 0x00000000, 0x00000000,
  0x0001bb33, 0x000174de, 0x00000000, 0x00000000,
  0x0001e42c, 0x0001c26f, 0x00000000, 0x00000000,
  0x00022d04, 0x0001f313, 0x00000000, 0x00000000,
  0x0002992e, 0x0001f809, 0x00000000, 0x00000000,
  0x0002fdbd, 0x0001fa07, 0x00000000, 0x00000000,
  0x00033d36, 0x0000fd05, 0x00000000, 0x00000000,
  0x0003605f, 0x00000108, 0x00000000, 0x00000000,
  0x00026972, 0x00000330, 0x00000000, 0x00000000,
  0x000174dd, 0x00000a4a, 0x00000000, 0x00000000,
  0x0000ac48, 0x00003b3b, 0x00000000, 0x00000000,
  0x00000aa4, 0x000087c4, 0x00000000, 0x00000000,
  0x00003c69, 0x0000d159, 0x00000000, 0x00000000,
  0x00008d1d, 0x0000fa09, 0x00000000, 0x00000000,
  0x0000fbd5, 0x0000fc07, 0x00000000, 0x00000000,
  0x00017389, 0x00008007, 0x00000000, 0x00000000,
  0x0001b75c, 0x00008109, 0x00000000, 0x00000000,
  0x0001da2f, 0x00008257, 0x00000000, 0x00000000,
  0x0001ddee, 0x000083c1, 0x00000000, 0x00000000,
  0x0001e1ad, 0x0000853a, 0x00000000, 0x00000000,
  0x0001e56c, 0x0000ac49, 0x00000000, 0x00000000,
  0x00020edf, 0x0000ce2e, 0x00000000, 0x00000000,
  0x000258ea, 0x0000fa05, 0x00000000, 0x00000000,
  0x0002ccc0, 0x0000fd03, 0x00000000, 0x00000000,
  0x00033d36, 0x0000fd05, 0x00000000, 0x00000000,
  0x000388dd, 0x0000fe07, 0x00000000, 0x00000000,
  0x0003b2c0, 0x00000013, 0x00000000, 0x00000000,
  0x0002bbaf, 0x0000016e, 0x00000000, 0x00000000,
  0x0001c26e, 0x000002dc, 0x00000000, 0x00000000,
  0x0000ce2d, 0x00000948, 0x00000000, 0x00000000,
  0x00000ae2, 0x00003447, 0x00000000, 0x00000000,
  0x00003d3e, 0x00005628, 0x00000000, 0x00000000,
  0x00009015, 0x00007e03, 0x00000000, 0x00000000,
  0x000107cf, 0x00007f05, 0x00000000, 0x00000000,
  0x00017ef1, 0x00000593, 0x00000000, 0x00000000,
  0x0001c966, 0x0000059e, 0x00000000, 0x00000000,
  0x0001f320, 0x000006d9, 0x00000000, 0x00000000,
  0x0001f712, 0x00000838, 0x00000000, 0x00000000,
  0x0001fb04, 0x00000a03, 0x00000000, 0x00000000,
  0x0001fef6, 0x00000aa5, 0x00000000, 0x00000000,
  0x000228c2, 0x00000ae3, 0x00000000, 0x00000000,
  0x00027347, 0x00000af2, 0x00000000, 0x00000000,
  0x0002e85a, 0x000002fd, 0x00000000, 0x00000000,
  0x0003605f, 0x00000108, 0x00000000, 0x00000000,
  0x0003b2c0, 0x00000013, 0x00000000, 0x00000000,
  0x0003e44e, 0x00000046, 0x00000000, 0x00000000,
  0x0002ed20, 0x000001ab, 0x00000000, 0x00000000,
  0x0001f312, 0x00000317, 0x00000000, 0x00000000,
  0x0000fa04, 0x000004c6, 0x00000000, 0x00000000,
  0x00000af1, 0x00000540, 0x00000000, 0x00000000,
  0x00003daf, 0x00000572, 0x00000000, 0x00000000,
  0x0000911d, 0x0000057d, 0x00000000, 0x00000000,
  0x00010b00, 0x00000588, 0x00000000, 0x00000000,
  0x00010340, 0x00001f6e, 0x00000000, 0x00000000,
  0x00014d89, 0x00001fac, 0x00000000, 0x00000000,
  0x0001770e, 0x0000277c, 0x00000000, 0x00000000,
  0x00017a08, 0x00002f7d, 0x00000000, 0x00000000,
  0x00017d02, 0x000039a0, 0x00000000, 0x00000000,
  0x00017ffc, 0x00003c6a, 0x00000000, 0x00000000,
  0x000182f6, 0x00003d3f, 0x00000000, 0x00000000,
  0x0001abca, 0x00003db0, 0x00000000, 0x00000000,
  0x0001f557, 0x00000af2, 0x00000000, 0x00000000,
  0x00026972, 0x00000330, 0x00000000, 0x00000000,
  0x0002bbaf, 0x0000016e, 0x00000000, 0x00000000,
  0x0002ed20, 0x000001ab, 0x00000000, 0x00000000,
  0x0002f40e, 0x00000a6f, 0x00000000, 0x00000000,
  0x0001f808, 0x0000129a, 0x00000000, 0x00000000,
  0x0000fd02, 0x00001bfe, 0x00000000, 0x00000000,
  0x000002fc, 0x00001de0, 0x00000000, 0x00000000,
  0x00000af1, 0x00001e8d, 0x00000000, 0x00000000,
  0x00003cb7, 0x00001ef2, 0x00000000, 0x00000000,
  0x00008f2d, 0x00001f30, 0x00000000, 0x00000000,
  0x000087c3, 0x000049dc, 0x00000000, 0x00000000,
  0x0000d158, 0x00004a6e, 0x00000000, 0x00000000,
  0x0000fa08, 0x0000579e, 0x00000000, 0x00000000,
  0x0000fc06, 0x00006ab7, 0x00000000, 0x00000000,
  0x0000fe04, 0x00008153, 0x00000000, 0x00000000,
  0x00010002, 0x00008d1e, 0x00000000, 0x00000000,
  0x00010226, 0x00009016, 0x00000000, 0x00000000,
  0x00010445, 0x0000911e, 0x00000000, 0x00000000,
  0x00012c48, 0x00003cb8, 0x00000000, 0x00000000,
  0x000174dd, 0x00000a4a, 0x00000000, 0x00000000,
  0x0001c26e, 0x000002dc, 0x00000000, 0x00000000,
  0x0001f312, 0x00000317, 0x00000000, 0x00000000,
  0x0001f808, 0x0000129a, 0x00000000, 0x00000000,
  0x0001fa06, 0x000026a7, 0x00000000, 0x00000000,
  0x0000fd04, 0x00003c19, 0x00000000, 0x00000000,
  0x00000107, 0x000045cc, 0x00000000, 0x00000000,
  0x0000032f, 0x000047d8, 0x00000000, 0x00000000,
  0x00000a49, 0x000048b8, 0x00000000, 0x00000000,
  0x00003b3a, 0x0000494a, 0x00000000, 0x00000000,
  0x00003446, 0x000087c8, 0x00000000, 0x00000000,
  0x00005627, 0x000088d5, 0x00000000, 0x00000000,
  0x00007e02, 0x00009c70, 0x00000000, 0x00000000,
  0x00007f04, 0x0000ba38, 0x00000000, 0x00000000,
  0x00008006, 0x0000e2cb, 0x00000000, 0x00000000,
  0x00008108, 0x0000fbd6, 0x00000000, 0x00000000,
  0x00008256, 0x000107d0, 0x00000000, 0x00000000,
  0x000083c0, 0x00010b01, 0x00000000, 0x00000000,
  0x00008539, 0x00008f2e, 0x00000000, 0x00000000,
  0x0000ac48, 0x00003b3b, 0x00000000, 0x00000000,
  0x0000ce2d, 0x00000948, 0x00000000, 0x00000000,
  0x0000fa04, 0x000004c6, 0x00000000, 0x00000000,
  0x0000fd02, 0x00001bfe, 0x00000000, 0x00000000,
  0x0000fd04, 0x00003c19, 0x00000000, 0x00000000,
  0x0000fe06, 0x000063ac, 0x00000000, 0x00000000,
  0x00000012, 0x0000798f, 0x00000000, 0x00000000,
  0x0000016d, 0x00008369, 0x00000000, 0x00000000,
  0x000002db, 0x000085ae, 0x00000000, 0x00000000,
  0x00000947, 0x000086bb, 0x00000000, 0x00000000,
  0x0000053f, 0x0000c2c7, 0x00000000, 0x00000000,
  0x00000571, 0x0000c44a, 0x00000000, 0x00000000,
  0x0000057c, 0x0000d881, 0x00000000, 0x00000000,
  0x00000587, 0x0000fcd0, 0x00000000, 0x00000000,
  0x00000592, 0x00013038, 0x00000000, 0x00000000,
  0x0000059d, 0x00015b39, 0x00000000, 0x00000000,
  0x000006d8, 0x0001738a, 0x00000000, 0x00000000,
  0x00000837, 0x00017ef2, 0x00000000, 0x00000000,
  0x00000a02, 0x00010341, 0x00000000, 0x00000000,
  0x00000aa4, 0x000087c4, 0x00000000, 0x00000000,
  0x00000ae2, 0x00003447, 0x00000000, 0x00000000,
  0x00000af1, 0x00000540, 0x00000000, 0x00000000,
  0x000002fc, 0x00001de0, 0x00000000, 0x00000000,
  0x00000107, 0x000045cc, 0x00000000, 0x00000000,
  0x00000012, 0x0000798f, 0x00000000, 0x00000000,
  0x00000045, 0x0000a170, 0x00000000, 0x00000000,
  0x000001aa, 0x0000b679, 0x00000000, 0x00000000,
  0x00000316, 0x0000bfc1, 0x00000000, 0x00000000,
  0x000004c5, 0x0000c144, 0x00000000, 0x00000000,
  0x00001ddf, 0x0000e8a8, 0x00000000, 0x00000000,
  0x00001e8c, 0x0000ea77, 0x00000000, 0x00000000,
  0x00001ef1, 0x0000ff20, 0x00000000, 0x00000000,
  0x00001f2f, 0x00012402, 0x00000000, 0x00000000,
  0x00001f6d, 0x00015df2, 0x00000000, 0x00000000,
  0x00001fab, 0x000193a2, 0x00000000, 0x00000000,
  0x0000277b, 0x0001b75d, 0x00000000, 0x00000000,
  0x00002f7c, 0x0001c967, 0x00000000, 0x00000000,
  0x0000399f, 0x00014d8a, 0x00000000, 0x00000000,
  0x00003c69, 0x0000d159, 0x00000000, 0x00000000,
  0x00003d3e, 0x00005628, 0x00000000, 0x00000000,
  0x00003daf, 0x00000572, 0x00000000, 0x00000000,
  0x00000af1, 0x00001e8d, 0x00000000, 0x00000000,
  0x0000032f, 0x000047d8, 0x00000000, 0x00000000,
  0x0000016d, 0x00008369, 0x00000000, 0x00000000,
  0x000001aa, 0x0000b679, 0x00000000, 0x00000000,
  0x00000a6e, 0x0000d648, 0x00000000, 0x00000000,
  0x00001299, 0x0000e50a, 0x00000000, 0x00000000,
  0x00001bfd, 0x0000e6d9, 0x00000000, 0x00000000,
  0x000045cb, 0x0000fe03, 0x00000000, 0x00000000,
  0x000047d7, 0x0000fffd, 0x00000000, 0x00000000,
  0x000048b7, 0x000114f7, 0x00000000, 0x00000000,
  0x00004949, 0x00013a4b, 0x00000000, 0x00000000,
  0x000049db, 0x000174d8, 0x00000000, 0x00000000,
  0x00004a6d, 0x0001b0f3, 0x00000000, 0x00000000,
  0x0000579d, 0x0001da30, 0x00000000, 0x00000000,
  0x00006ab6, 0x0001f321, 0x00000000, 0x00000000,
  0x00008152, 0x0001770f, 0x00000000, 0x00000000,
  0x00008d1d, 0x0000fa09, 0x00000000, 0x00000000,
  0x00009015, 0x00007e03, 0x00000000, 0x00000000,
  0x0000911d, 0x0000057d, 0x00000000, 0x00000000,
  0x00003cb7, 0x00001ef2, 0x00000000, 0x00000000,
  0x00000a49, 0x000048b8, 0x00000000, 0x00000000,
  0x000002db, 0x000085ae, 0x00000000, 0x00000000,
  0x00000316, 0x0000bfc1, 0x00000000, 0x00000000,
  0x00001299, 0x0000e50a, 0x00000000, 0x00000000,
  0x000026a6, 0x0000fa0f, 0x00000000, 0x00000000,
  0x00003c18, 0x0000fc09, 0x00000000, 0x00000000,
  0x0000798e, 0x00010005, 0x00000000, 0x00000000,
  0x00008368, 0x00010203, 0x00000000, 0x00000000,
  0x000085ad, 0x00011727, 0x00000000, 0x00000000,
  0x000086ba, 0x00013cc6, 0x00000000, 0x00000000,
  0x000087c7, 0x000177c9, 0x00000000, 0x00000000,
  0x000088d4, 0x0001b45e, 0x00000000, 0x00000000,
  0x00009c6f, 0x0001ddef, 0x00000000, 0x00000000,
  0x0000ba37, 0x0001f713, 0x00000000, 0x00000000,
  0x0000e2ca, 0x00017a09, 0x00000000, 0x00000000,
  0x0000fbd5, 0x0000fc07, 0x00000000, 0x00000000,
  0x000107cf, 0x00007f05, 0x00000000, 0x00000000,
  0x00010b00, 0x00000588, 0x00000000, 0x00000000,
  0x00008f2d, 0x00001f30, 0x00000000, 0x00000000,
  0x00003b3a, 0x0000494a, 0x00000000, 0x00000000,
  0x00000947, 0x000086bb, 0x00000000, 0x00000000,
  0x000004c5, 0x0000c144, 0x00000000, 0x00000000,
  0x00001bfd, 0x0000e6d9, 0x00000000, 0x00000000,
  0x00003c18, 0x0000fc09, 0x00000000, 0x00000000,
  0x000063ab, 0x0000fe07, 0x00000000, 0x00000000,
};
const unsigned kExpectedCount_NEON_udot_2S = 361;

#endif  // VIXL_SIM_UDOT_2S_TRACE_AARCH64_H_
